Maggiolo-Schettini, A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A flow diagram composition of Markov's normal algorithms without concluding formulas

G. Germano, A. Maggiolo-Schettini

Journal:

BIT Numerical Mathematics

Year:

1973

Language:

english

File:

PDF, 496 KB

english, 1973

2

Recursion Structure Simplification

Strong, Jr., H. R., Maggiolo-Schettini, A., Rosen, B. K.

Journal:

SIAM Journal on Computing

Year:

1975

Language:

english

File:

PDF, 1.51 MB

english, 1975

3

Identification of components in biochemical pathways: extensive application to SBML models

Pardini, Giovanni, Milazzo, Paolo, Maggiolo-Schettini, Andrea

Journal:

Natural Computing

Year:

2014

Language:

english

File:

PDF, 487 KB

english, 2014

4

Comparing Hierarchies of Primitive Recursive Sequence Functions

E. Fachini, A. Maggiolo-Schettini

Journal:

Mathematical Logic Quarterly

Year:

1982

Language:

english

File:

PDF, 880 KB

english, 1982

5

Computable stack functions for semantics of stack programs

Giorgio Germano, Andrea Maggiolo-Schettini

Journal:

Journal of Computer and System Sciences

Year:

1979

Language:

english

File:

PDF, 662 KB

english, 1979

6

Processes of transforming structures

Andrea Maggiolo-Schettini, Jozef Winkowski

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 1.87 MB

english, 1982

7

An algebra of processes

Józef Winkowski, Andrea Maggiolo-Schettini

Journal:

Journal of Computer and System Sciences

Year:

1987

Language:

english

File:

PDF, 1.16 MB

english, 1987

8

Sequence recursiveness without cylindrification and limited register machines

Giorgio Germano, Andrea Maggiolo-Schettini

Journal:

Theoretical Computer Science

Year:

1981

Language:

english

File:

PDF, 1.02 MB

english, 1981

9

Modeling a solution for a control problem in distributed systems by restrictions

Andrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski

Journal:

Theoretical Computer Science

Year:

1981

Language:

english

File:

PDF, 1.61 MB

english, 1981

10

Towards an algebra for timed behaviours

Andrea Maggiolo-Schettini, Józef Winkowski

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.62 MB

english, 1992

11

Automatic Analysis of a Non-Repudiation Protocol

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 321 KB

english, 2005

12

A Classification of Time and/or Probability Dependent Security Properties

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 318 KB

english, 2006

13

Timed P Automata

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 348 KB

english, 2009

14

Modular Verification of Interactive Systems with an Application to Biology

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 267 KB

english, 2010

15

ε-transitions in Concurrent Timed Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini

Journal:

Information Processing Letters

Year:

2004

Language:

english

File:

PDF, 192 KB

english, 2004

16

Monotonic hybrid systems

Ruggero Lanotte, Andrea Maggiolo-Schettini

Journal:

Journal of Computer and System Sciences

Year:

2005

Language:

english

File:

PDF, 575 KB

english, 2005

17

Design and verification of long-running transactions in a timed framework

Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Journal:

Science of Computer Programming

Year:

2008

Language:

english

File:

PDF, 1.98 MB

english, 2008

18

Weak bisimulation for Probabilistic Timed Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 485 KB

english, 2010

19

On disjunction of literals in triggers of statecharts transitions

Andrea Maggiolo-Schettini, Simone Tini

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 78 KB

english, 2002

20

Proving a compiler correct: A simple approach

G. Germano, A. Maggiolo-Schettini

Journal:

Journal of Computer and System Sciences

Year:

1975

Language:

english

File:

PDF, 523 KB

english, 1975

21

A comparison of Statecharts step semantics

Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 371 KB

english, 2003

22

Concurrency in timed automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 373 KB

english, 2003

23

Time-based expressivity of time Petri nets for system specification

Antonio Cerone, Andrea Maggiolo-Schettini

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 3.47 MB

english, 1999

24

Privacy in Real-Time Systems

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 281 KB

english, 2002

25

Projectable semantics for Statecharts

Andrea Maggiolo-Schettini, Simone Tini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 734 KB

english, 1998

26

Two semantics for Timed Default Concurrent Constraint Programming

Simone Tini, Andrea Maggiolo-Schettini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.02 MB

english, 1998

27

Classes of systolic Y-tree automata and a comparison with systolic trellis automata

E. Fachini, A. Maggiolo-Schettini, D. Sangiorgi

Journal:

Acta Informatica

Year:

1992

Language:

english

File:

PDF, 1.16 MB

english, 1992

28

Transformations of structures: An algebraic approach

Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Jozef Winkowski

Journal:

Theory of Computing Systems

Year:

1981

Language:

english

File:

PDF, 2.12 MB

english, 1981

29

Equivalence of partial recursivity and computability by algorithms without concluding formulas

G. Germano, A. Maggiolo-Schettini

Journal:

Year:

1971

Language:

english

File:

PDF, 544 KB

english, 1971

30

A kernel language for programmed rewriting of (hyper)graphs

Andrea Maggiolo-Schettini, Józef Winkowski

Journal:

Acta Informatica

Year:

1996

Language:

english

File:

PDF, 1.28 MB

english, 1996

31

Parametric probabilistic transition systems for system design and analysis

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 258 KB

english, 2007

32

Bisimulations in calculi modelling membranes

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 786 KB

english, 2008

33

Reachability results for timed automata with unbounded data structures

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Acta Informatica

Year:

2010

Language:

english

File:

PDF, 717 KB

english, 2010

34

A kernel language for programmed rewriting of (hyper)graphs

Andrea Maggiolo-Schettini, Józef Winkowski

Journal:

Acta Informatica

Year:

1996

Language:

english

File:

PDF, 243 KB

english, 1996

35

Automated analysis of timed security: a case study on web privacy

Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci

Journal:

International Journal of Information Security

Year:

2004

Language:

english

File:

PDF, 359 KB

english, 2004

36

Spatial P systems

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei

Journal:

Natural Computing

Year:

2011

Language:

english

File:

PDF, 500 KB

english, 2011

37

Automatic Analysis of the NRL Pump

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 348 KB

english, 2004

38

Compositional semantics and behavioral equivalences for P Systems

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 876 KB

english, 2008

39

An intermediate language for the stochastic simulation of biological systems

Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.75 MB

english, 2009

40

Formal Models of Timing Attacks on Web Privacy

Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 192 KB

english, 2002

41

Sequence-to-sequence recursiveness

G. Germano, A. Maggiolo-Schettini

Journal:

Information Processing Letters

Year:

1975

Language:

english

File:

PDF, 773 KB

english, 1975

42

Compositional semantics of spiking neural P systems

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 519 KB

english, 2010

43

Spatial Calculus of Looping Sequences

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 741 KB

english, 2011

44

Foundational aspects of multiscale modeling of biological systems with process algebras

Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 322 KB

english, 2012

45

Web structures: a tool for representing and manipulating programs

Maggiolo-Schettini, A., Napoli, M., Tortora, G.

Journal:

IEEE Transactions on Software Engineering

Year:

1988

Language:

english

File:

PDF, 1.54 MB

english, 1988

46

Time and Probability-Based Information Flow Analysis

Lanotte, R., Maggiolo-Schettini, A., Troina, A.

Journal:

IEEE Transactions on Software Engineering

Year:

2010

Language:

english

File:

PDF, 1.61 MB

english, 2010

47

An Algorithm for the Identification of Components in Biochemical Pathways

Pardini, Giovanni, Milazzo, Paolo, Maggiolo-Schettini, Andrea

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 730 KB

english, 2013

48

Compositional semantics and behavioural equivalences for reaction systems with restriction

Pardini, Giovanni, Barbuti, Roberto, Maggiolo-Schettini, Andrea, Milazzo, Paolo, Tini, Simone

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 387 KB

english, 2014

49

Simulation of Spatial P system models

Barbuti, Roberto, Maggiolo-Schettini, Andrea, Milazzo, Paolo, Pardini, Giovanni

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 2.11 MB

english, 2014

50

[IEEE 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03 - Brisbane, Queensland, Australia (2003.09.22-2003.09.27)] First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. - Weak bisimulation for probabilistic timed automata and applications to security

Lanotte, R., Maggiolo-Schettini, A., Troina, A.

Year:

2003

Language:

english

File:

PDF, 380 KB

english, 2003

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски